1. Computer aided verification
پدیدآورنده: P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb